Fix previous change.
authorRichard M. Stallman <rms@gnu.org>
Mon, 24 Jul 2006 17:42:40 +0000 (17:42 +0000)
committerRichard M. Stallman <rms@gnu.org>
Mon, 24 Jul 2006 17:42:40 +0000 (17:42 +0000)
commiteb470b8de7e897fa6cbaeb66d38a878cf5428e41
tree09f492b1f9994c24c55512a142e74ee2b24e74ac
parent54b2c5e12ce57b5017d07f4fdb5ee27572cebbc4
Fix previous change.
man/commands.texi